Don't force auto hide dock when hide menu changes.

(ns_update_auto_hide_menu_bar): Remove runtime check.
Don't auto hide dock unless menubar is also auto hidden.

diff --git a/src/ChangeLog b/src/ChangeLog
index 51a5f56c4799d8f753e7ab494a1b1dfa68ae69f1..7962d8dbc61c29ff4975a5242651e23b07a63266 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -4,6 +4,8 @@
        hide toolbar (Bug#15388).
        (windowDidEnterFullScreen:): If presentation options are zero,
        set them here (Bug#15388).
+       (ns_update_auto_hide_menu_bar): Remove runtime check.
+       Don't auto hide dock unless menubar is also auto hidden.
 
 2013-10-05  Xue Fuqiao  <xfq.free@gmail.com>
 

diff --git a/src/nsterm.m b/src/nsterm.m
index be660d99e8ae86afc2797a16bde7a9682684cc98..696d379206e27917395a5d763ed99cd12cd44352 100644 (file)
--- a/src/nsterm.m
+++ b/src/nsterm.m
@@ -633,9 +633,7 @@ ns_update_auto_hide_menu_bar (void)
 
   NSTRACE (ns_update_auto_hide_menu_bar);
 
-  if (NSApp != nil
-      && [NSApp isActive]
-      && [NSApp respondsToSelector:@selector(setPresentationOptions:)])
+  if (NSApp != nil && [NSApp isActive])
     {
       // Note, "setPresentationOptions" triggers an error unless the
       // application is active.
@@ -644,10 +642,11 @@ ns_update_auto_hide_menu_bar (void)
       if (menu_bar_should_be_hidden != ns_menu_bar_is_hidden)
         {
           NSApplicationPresentationOptions options
-            = NSApplicationPresentationAutoHideDock;
+            = NSApplicationPresentationDefault;
 
           if (menu_bar_should_be_hidden)
-            options |= NSApplicationPresentationAutoHideMenuBar;
+            options |= NSApplicationPresentationAutoHideMenuBar
+              | NSApplicationPresentationAutoHideDock;
 
           [NSApp setPresentationOptions: options];